Reiner Hähnle: потърсете в сайта Z-Library

Свободен достъп до знания и култура.

Don't use scam websites

Книги (27)
Най-популярни
Списък
- Списък
- Таблица

1

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Springer International Publishing

Reiner Hähnle, Wil van der Aalst

Година:

2019

Език:

english

Файл:

PDF, 26.70 MB

0 / 0

english, 2019

2

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

Година:

2016

Език:

english

Файл:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

3

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics

Clarendon Press; Oxford University Press

Година:

1993

Език:

english

Файл:

PDF, 816 KB

0 / 0

english, 1993

4

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Saint Philip Street Press

Wil van der Aalst & Reiner Hähnle [Aalst, Wil van der & Hähnle, Reiner]

Година:

2020

Език:

english

Файл:

EPUB, 29.12 MB

0 / 0

english, 2020

5

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

Година:

2008

Език:

english

Файл:

PDF, 1.84 MB

0 / 0

english, 2008

6

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

Година:

2007

Език:

english

Файл:

PDF, 3.94 MB

0 / 0

english, 2007

7

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

Година:

2010

Език:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 2010

8

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Година:

2013

Език:

english

Файл:

PDF, 4.72 MB

0 / 0

english, 2013

9

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

Година:

1995

Език:

english

Файл:

DJVU, 3.54 MB

0 / 0

english, 1995

10

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Reiner Hähnle & Wil van der Aalst

Година:

2019

Език:

english

Файл:

PDF, 26.68 MB

0 / 0

english, 2019

11

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

Година:

2008

Език:

english

Файл:

PDF, 2.96 MB

0 / 0

english, 2008

12

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

Година:

2010

Език:

english

Файл:

PDF, 6.60 MB

0 / 5.0

english, 2010

13

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Година:

2013

Език:

english

Файл:

PDF, 6.24 MB

0 / 0

english, 2013

14

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

Година:

1999

Език:

english

Файл:

PDF, 3.24 MB

0 / 0

english, 1999

15

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Springer International Publishing

Amel Bennaceur, Reiner Hähnle, Karl Meinke

Година:

2018

Език:

english

Файл:

PDF, 7.48 MB

0 / 0

english, 2018

16

Handbook of Tableau Methods

Handbook of Tableau Methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

Година:

1999

Език:

english

Файл:

PDF, 23.70 MB

0 / 0

english, 1999

17

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Springer International Publishing;Springer

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Година:

2020

Език:

english

Файл:

PDF, 11.58 MB

5.0 / 5.0

english, 2020

18

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Година:

2014

Език:

english

Файл:

PDF, 10.79 MB

0 / 0

english, 2014

19

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

Година:

2007

Език:

english

Файл:

PDF, 5.36 MB

0 / 0

english, 2007

20

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

Година:

1999

Език:

english

Файл:

PDF, 3.24 MB

0 / 0

english, 1999

21

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 10.70 MB

0 / 0

english, 2012

22

Handbook of tableau methods

Handbook of tableau methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

Година:

1999

Език:

english

Файл:

DJVU, 5.94 MB

0 / 0

english, 1999

23

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

Година:

2010

Език:

english

Файл:

PDF, 6.32 MB

0 / 0

english, 2010

24

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Година:

2014

Език:

english

Файл:

PDF, 8.06 MB

0 / 0

english, 2014

25

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 12.26 MB

0 / 0

english, 2012

26

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

Година:

1995

Език:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 1995

27

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Година:

2012

Език:

english

Файл:

PDF, 14.99 MB

0 / 0

english, 2012